Section: New Results

Dependable Property-Based Testing

Participants : Maxime Dénès [Inria Sophia-Antipolis] , Diane Gallois-Wong [ENS and Inria Paris] , Catalin Hritcu, John Hughes [Chalmers University] , Leonidas Lampropoulos [University of Pennsylvania] , Zoe Paraskevopoulou [Princeton University] , Benjamin Pierce [University of Pennsylvania] , Li-Yao Xia [ENS and Inria Paris] .

This year we finally released the Luck programming language for property-based generators (https://github.com/QuickChick/Luck); a paper on this is about to appear at POPL 2017 [18]. We also improved a previous case study on testing information-flow control mechanisms and published a journal paper on this at JCS [1]. Finally, we kept improving the QuickChick testing plugin for Coq (https://github.com/QuickChick/QuickChick), in particular by automatically producing generators from algebraic datatype definitions.